In mathematics, especially in the area of abstract algebra dealing with ordered structures on abelian groups, the Hahn embedding theorem gives a simple description of all linearly ordered abelian groups.
The theorem states: Any linearly ordered abelian group can be embedded as an ordered subgroup of the additive group ℝΩ endowed with a lexicographical order, where ℝ is the additive group of real numbers (with its standard order), and Ω is the set of Archimedean equivalence classes of .
Let denote the identity element of . For any nonzero ∈, exactly one of the elements or is greater than ; denote this element by . Two nonzero elements ∈ are Archimedean equivalent if there exist natural numbers ∈ℕ such that and . (Heuristically: neither nor is "infinitesimal" with respect to the other). The group is Archimedean if all nonzero elements are Archimedean-equivalent. In this case, Ω is a singleton, so ℝΩ is just the group of real numbers. Then Hahn's Embedding Theorem reduces to Hölder's theorem (which states that a linearly ordered abelian group is Archimedean if and only if it is a subgroup of the ordered additive group of the real numbers).
(Gravett 1956) gives a clear statement and proof of the theorem. The papers of (Clifford 1954) and (Hausner & Wendel 1952) together provide another proof. See also (Fuchs & Salce 2001, p. 62).